python intersection type